fn F() {
  var b : bool;
  if false && select(!b, true, true) {
  }
}
